Second-Order Partial Differentiation of Real Ternary Functions
نویسندگان
چکیده
منابع مشابه
Second-Order Partial Differentiation of Real Ternary Functions
For simplicity, we adopt the following rules: x, x0, y, y0, z, z0, r denote real numbers, u, u0 denote elements of R3, f , f1, f2 denote partial functions from R3 to R, R denotes a rest, and L denotes a linear function. Let f be a partial function from R3 to R and let u be an element of R3. We say that f is partial differentiable on 1st-1st coordinate in u if and only if the condition (Def. 1) ...
متن کاملPartial Differentiation of Real Ternary Functions
For simplicity, we adopt the following convention: D is a set, x, x0, y, y0, z, z0, r, s, t are real numbers, p, a, u, u0 are elements of R3, f , f1, f2, f3, g are partial functions from R3 to R, R is a rest, and L is a linear function. We now state three propositions: (1) dom proj(1, 3) = R3 and rng proj(1, 3) = R and for all elements x, y, z of R holds (proj(1, 3))(〈x, y, z〉) = x. (2) dom pro...
متن کاملSecond-Order Partial Differentiation of Real Binary Functions
For simplicity, we adopt the following convention: x, x0, y, y0, r are real numbers, z, z0 are elements of R2, f , f1, f2 are partial functions from R2 to R, R is a rest, and L is a linear function. Let us note that every rest is total. Let f be a partial function from R2 to R and let z be an element of R2. The functor pdiff1(f, z) yielding a function from R2 into R is defined as follows: (Def....
متن کاملPartial second-order subdifferentials of -prox-regular functions
Although prox-regular functions in general are nonconvex, they possess properties that one would expect to find in convex or lowerC2 functions. The class of prox-regular functions covers all convex functions, lower C2 functions and strongly amenable functions. At first, these functions have been identified in finite dimension using proximal subdifferential. Then, the definition of prox-regula...
متن کاملPartial Differentiation of Real Binary Functions
For simplicity, we adopt the following convention: x, x0, y, y0, r are real numbers, z, z0 are elements of R2, Z is a subset of R2, f , f1, f2 are partial functions from R2 to R, R is a rest, and L is a linear function. Next we state two propositions: (1) domproj(1, 2) = R2 and rng proj(1, 2) = R and for all elements x, y of R holds (proj(1, 2))(〈x, y〉) = x. (2) domproj(2, 2) = R2 and rng proj(...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Formalized Mathematics
سال: 2010
ISSN: 1898-9934,1426-2630
DOI: 10.2478/v10037-010-0015-9